81. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
پدیدآورنده : Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2755
82. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
76
.
D47
.
W33
2001
83. Recent trends in data type specification :
پدیدآورنده : edited by D. Sannella, A. Tarlecki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstract data types (Computer science),Abstract data types (Computer science) -- Congresses.
رده :
QA76
.
9
.
A23
E358
1988
84. Recent trends in data type specification :
پدیدآورنده : edited by H.-J. Kreowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstract data types (Computer science),Abstract data types (Computer science) -- Congresses.,Data structures (Computer science) -- Congresses.
رده :
QA76
.
9
.
A23
E358
9999
85. Recent trends in data type specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings 1990
پدیدآورنده : H. Ehrig ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
534
86. Recent trends in data type specification of Abstract data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23 1995 : selected papers
پدیدآورنده : Magne Haveraaen, Olaf Owe, Ole-Johan Dahl )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1130
87. Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, Joint with the 4th COMPASS Workshop , Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
پدیدآورنده : Hartmut Ehrig, Fernando Orejas, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
785
88. Recent trends in data type specification: 5th Workshop on Specification of Abstract Data Types: Selected papers, Gullane, Scotland, September 1-4, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
9
.
A23
.
W67
1987
89. Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers
پدیدآورنده : M. Bidott, C. Choppy, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
655
90. Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types: selected papers, Gullane, Scotland, September 1-4, 1987
پدیدآورنده : D. Sannella, A. Tarlecki, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
332
91. Software, Services and Systems
پدیدآورنده : \ [edited by] Rocco De Nicola, Rolf Hennicker.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
92. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
93. Structures and abstractions: an introduction to computer science with pascal
پدیدآورنده : William I. Salmon
موضوع : Pascal (Computer Program Language),Data structures (computer science),Abstract data types (computer science)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
94. Structures and abstractions : an introduction to computer science with Turbo Pascal )5.x, 6.x, 7.0(
پدیدآورنده : Salmon, W.)William(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Pascal )Computer program language(,، Data structures )Computer science(,، Abstract data types )Computer science(,، Turbo Pascal )Computer file(
رده :
QA
76
.
73
.
P2
S25
1994
